busy beaver 函數